Finite Automata with Advice Tapes

نویسندگان

  • Ugur Küçük
  • A. C. Cem Say
  • Abuzer Yakaryilmaz
چکیده

We define a model of advised computation by finite automata where the advice is provided on a separate tape. We consider several variants of the model where the advice is deterministic or randomized, the input tape head is allowed real-time, one-way, or two-way access, and the automaton is classical or quantum. We prove several separation results among these variants, demonstrate an infinite hierarchy of language classes recognized by automata with increasing advice lengths, and establish the relationships between this and the previously studied ways of providing advice to finite automata.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Swapping Lemmas for Regular and Context-Free Languages with Advice

Chomsky studied regular languages and context-free languages to develop his theory of formal languages. These languages are generated by restricted forms of grammars and also characterized by finite-state automata. Karp and Lipton examined roles of supplemental information given besides original inputs, under the term of “advice,” which depends only on the size of the inputs. We study the power...

متن کامل

Finite Automata and Their Decision Problems

Finite automata are considered in this paper a s instruments for classifying finite tapes. Each onetape automaton defines a set of tapes, a two-tape automaton defines a set of pairs of tapes, et cetera. The structure of the defined sets is studied. Various generalizations of the notion of an automaton are introduced and their relation to the classical automata is determined. Some decision probl...

متن کامل

Multi-tape automata for automatic verification

This paper discusses how finite-state automata with multiple tapes can be used to construct decision procedures for fragments of first-order theories with interpreted functions and relations, useful in the verification of programs. There is a natural correspondence between automata accepting input on n > 1 tapes and predicates over n variables, but multi-tape automata that read input asynchrono...

متن کامل

A Survey of Multi-Tape Automata

This paper summarizes the fundamental expressiveness, closure, and decidability properties of various finite-state automata classes with multiple input tapes. It also includes an original algorithm for the intersection of one-way nondeterministic finite-state automata.

متن کامل

Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions (Extended Abstract)

Multi-valued partial CFL functions are computed by one-way nondeterministic pushdown automata equipped with write-only output tapes. We give an answer to a fundamental question, raised by Konstantinidis, Santean, and Yu [Act. Inform. 43 (2007) 395–417], of whether all multi-valued partial CFL functions can be refined by single-valued partial CFL functions. We negatively solve this question by p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Int. J. Found. Comput. Sci.

دوره 25  شماره 

صفحات  -

تاریخ انتشار 2013